例句與造句

1. That's why my first reaction to the idea of introducing any sort of symbolic evaluation system-stars, balloons, numbers, letters, apples, oranges, thumbs or condoms-was to object; the star system got no stars from me ."
2. Formal verification has been frequently used in hardware by most of the well-known hardware vendors, such as IBM, Intel, and AMD . There are many areas of hardware, where Intel have used FMs to verify the working of the products, such as parameterized verification of cache coherent protocol, Intel Core i7 processor execution engine validation ( using theorem proving, BDD s, and symbolic evaluation ), optimization for Intel IA-64 architecture using HOL light theorem prover, and verification of high performance dual-port gigabit Ethernet controller with a support for PCI express protocol and Intel advance management technology using Cadence.
3. It's difficult to find symbolic evaluation in a sentence. 用symbolic evaluation造句挺難的